axiomatic method

英 [ˌæksiəˈmætɪk ˈmeθəd] 美 [ˌæksiəˈmætɪk ˈmeθəd]

公理方法

计算机



双语例句

  1. Perhaps even more striking than the advent of these ideas has been the acceptance of the axiomatic conceptual method of abstract algebra and its pervading influence throughout mathematics.
    或许比这些新方法的引入更为引人注目的是抽象代数的公理化、概念化的方法以及其对整个数学学科的深远影响。
  2. Design process reengineering aided by axiomatic design The Method of Computer Aided Ergonomics Analysis in Farm Machinery Research
    公理设计辅助产品设计过程重组研究计算机辅助农机产品的人机分析方法
  3. In this article, assembly tooling design is described by the axiomatic design theory, and a variant method for assembly tooling design based on aircraft product structure change is presented.
    为此,运用公理设计原理描述了装配工装设计问题,提出了一种基于飞机产品结构更改的装配工装变型设计模型。
  4. Main research achievement is as bellows: Medical Diagnosis Logic Inference's theory is researched based on Pan-Boolean algebraic on Axiomatic, how to realize consequence applying Non-logic is put forward, and an practice design scheme and method of Medical Diagnosis Logic Inference are introduced.
    采用泛布尔代数公理体系作为理论依据研究医疗诊断逻辑推理机的原理,提出了如何运用逻辑非运算来实现推理过程的简化,并介绍实际的医疗诊断逻辑推理机的设计方案与方法。
  5. Based on Neoclassic laissez faire ideology, the theory of dynamic equilibrium in human capital investment focused on studying the characteristic of automatic "convergence" of dynamic investment in human capital, and has provided a axiomatic method analysing dynamic investment behavior in human capital.
    以新古典自由竞争理念为基础的人力资本投资均衡理论,集中研究了人力资本动态投资过程中的自动收敛特征,并且提供了一种分析人力资本动态投资行为的公理化方法。
  6. Axiomatic method and its function
    公理方法及其作用
  7. These three reasons let the spread of axiomatic method stagnate for a long time.
    正是这三个原因造成了当时公理化方法传播的停滞。
  8. Axiomatic method to optimization problems(ⅴ)── an algebraic expression of optimizing sets
    论优化问题的公理方法(Ⅴ)&优化集合的代数表达式
  9. On Function Axiomatic Method in Process of Scientific Cognition
    论公理方法在科学认识中的作用
  10. Axiomatic method to optimization problems(ⅳ)── finite improvement algorithms and iterated algorithm
    论优化问题的公理方法(Ⅳ)&有限改进算法与迭代算法
  11. Using the axiomatic design method, the structure of valve is decomposed and its rationality is analyzed according to the Axiom 1. Then the design sequence of the valve components based on the axiomatic design is put up.
    应用公理设计方法对闸阀结构进行了分解,利用公理1对现有的闸阀结构进行合理性分析,并提出了一种基于公理设计的闸阀部件设计顺序。
  12. One of important issues about the axiomatic method is independence of axiom.
    理论公理化的一个重要问题是公理的独立性问题。
  13. The Accounting Application of the Axiomatic Method: the Destruction and Reconstruction of the Accounting Basic Theory
    公理化方法的会计学应用:会计基本理论的解构与重构
  14. The axiomatic design of object-oriented software system ( AD O-OSS) is a new design method that adapts to design large software system.
    面向对象软件系统的公理法设计(ADo-oSS)是将公理法设计(AD)原理用于大型系统软件设计的一种新方法。
  15. Designers have paid more attention to the axiomatic design as a more scientific method of product design that has supplied basic principles and conceptual frameworks for product innovation design and improvement design.
    公理化设计作为一种科学的产品设计方法,为产品创新设计和改进设计提供了基本原则和概念性框架,已引起设计人员的高度重视。
  16. The axiomatic method is a mathematics method from geometry, owing to the outstanding characteristic, it is getting a scientific method used extensively.
    公理方法是一种源于几何的数学方法。其突出的特点,使之很快就成为一种运用广泛的科学方法。
  17. Objective evidences are provided for theoretical research. Subsequently, based on system analysis of evaluation, axiomatic method is introduced into the construction of foundational theory of evaluation for the first time. The feasibility study is made.
    随后,基于评价的系统分析,首次将公理化方法引入基础评价理论的构建研究并阐述了可行性,提出了基础评价理论的公理化理论框架与构建思路。
  18. At first, their phase space are established by using axiomatic definition method.
    利用公理化定义方法建立半直线上脉冲微分包含的相空间。
  19. Introduce a width factor in interval-valued fuzzy information, construct the axiomatic principles of constructing fuzzy entropy, and give the constructing method of interval-valued fuzzy entropy.
    在区间模糊信息中引入宽度因子,建立了构造区间模糊熵的公理化准则,提出基于距离的区间模糊熵构造方法。
  20. In the field of program verification, Hoare axiomatic method and the Dijkstra weakest pre-verb is the most outstanding of these two methods is their point system, the definition of the language system, and then find their way to the semantics of the language system.
    在程序验证领域,Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的,这两个方法系统的基点是各自定义的语言系统,然后根据各自的方法寻求语言系统的语义。
  21. The combination of set theory, analysis and the axiomatic method is one of the features of this study.
    论文的特色之一就是结合了集合论、分析学以及公理化方法等背景。
  22. By introducing axiomatic design into optimization design, a multi-objective optimization method based on axiomatic design is proposed.
    将公理设计应用于优化设计中,提出了基于公理设计的多目标优化设计方法。